The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

Buy Used and New Bill Roscoe Books

Results for Bill Roscoe

Showing 1 to 2 of 2 results
Modelling and Analysis of Security Protocols Modelling and Analysis of Security Protocols by Michael Goldsmith, Steve Schneider, Peter Ryan, Bill Roscoe, Gavin Lowe

Modelling and Analysis of Security Protocols

by Michael Goldsmith, Steve Schneider, Peter Ryan, Bill Roscoe, Gavin Lowe


ISBN 13: 9780201674712

Format: Paperback (320 pages)
Publisher: Addison Wesley
Published: 06 Dec 2000

Save for later

Used : $18.15  
 
Used : $18.15
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science) Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science) by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink

Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018, Proceedings: 10951 (Lecture Notes in Computer Science)

by Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink


ISBN 13: 9783319955810

Format: Paperback (708 pages)
Publisher: Springer
Published: 12 Jul 2018

Save for later

 
New : $92.54  
New : $92.54